KCC 2021
Current Result Document :
| 한글제목(Korean Title) |
QuickCheck를 사용한 neoESPA 입출력 데이터 생성 시스템 |
| 영문제목(English Title) |
neoESPA I/O Data Generating System Using QuickCheck |
| 저자(Author) |
천준석
김연어
류샤오
왕인서
변석우
우균
Junseok Cheon
Yeoneo Kim
Xiao Liu
Inseo Wang
Sugwoo Byun
Gyun Woo
|
| 원문수록처(Citation) |
VOL 48 NO. 01 PP. 1565 ~ 1567 (2021. 06) |
한글내용
(Korean Abstract) |
전세계적으로 창궐하고 있는 COVID-19로 인해 온라인 수업을 일상적으로 진행하게 되었다. 프로그래밍 수업의 경우에는 학생들의 프로그래밍 능력을 높이는 것이 가장 중요한 목표이므로 교사가 강의한 내용을 바탕으로 출제되는 프로그래밍 과제를 활용하고 있다. 학생이 제출한 소스 코드를 교사가 수동으로 채점하는 것은 시간이 오래 걸리므로 자동 채점 도구가 제안되었는데, neoESPA가 그 중 하나이다. neoESPA는 교사가 입력한 입력데이터와 출력데이터를 바탕으로 학생이 제출한 코드를 평가한다. 여기에 사용되는 입출력 데이터는 교사가 직접 생성하는 것이 일반적인데, 이는 시간이 오래 걸린다는 단점 외에 도 잘못된 입출력 데이터를 생성할 수 있다는 위험성이 있다. 이 논문에서는 Haskell의 QuickCheck를 이용하여 neoESPA의 입출력 데이터를 자동으로 생성하는 시스템을 제안한다. 원의 넓이를 구하는 프로그램에 대한 입출력 데이터 생성 실험 결과, 백만 개의 입출력 데이터를 생성하는 데 160초 정도밖에 걸리지 않는 것을 확인하였다. |
영문내용
(English Abstract) |
|
| 키워드(Keyword) |
|
| 파일첨부 |
PDF 다운로드
|
